Arithmetic precision - PDFSEARCH.IO - Document Search Engine

Arithmetic precision
Results: 543

#	Item
41	AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions Add to Reading List Source URL: ampl.com Language: English - Date: 2014-03-26 17:34:56 Computer arithmetic Floating point IEEE floating point Double-precision floating-point format Division algorithm Rounding Q Precision Arithmetic underflow Decimal Hexadecimal Unit in the last place
42	Hardest-to-Round Cases Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Exponentials GNU MPFR Double-precision floating-point format DWIM Exponential function Exponentiation
43	Case study / Major telecoms provider ITM were appointed by a major telecoms provider who had recently began a substantial exercise, offering PIE to over 100,000 pensioners. The initial brief was to undertake data analysi Add to Reading List Source URL: www.itmlimited.com Language: English - Date: 2015-07-16 16:50:38 Pensions in the United Kingdom Audit Computer-aided audit tools Pensions Act GNU Multiple Precision Arithmetic Library Pension
44	Vitae for Nathalie Revol Nathalie REVOL Research scientist at INRIA Birth date: children (born in 2005 andCitizenship: french Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2014-04-08 03:25:46 Mathematics Computer arithmetic Mathematical analysis Computing Numerical analysis Binary arithmetic Affine arithmetic Affine geometry Interval arithmetic Interval Arbitrary-precision arithmetic Precision
45	13 Letters to the IEEE Computer Arithmetic Standards Revision Group Ulrich Kulisch ¨r Angewandte und Numerische Mathematik Institut fu ¨t Karlsruhe Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2008-11-30 10:46:54 Computer arithmetic Computing Arithmetic Computer architecture Rounding IEEE floating point Karlsruhe Accurate Arithmetic IEEE 754 revision Interval arithmetic Quadruple-precision floating-point format Precision Division algorithm
46	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-06-28 09:41:10 Computer arithmetic Arithmetic Mathematics Computing Rounding IEEE floating point GNU MPFR Arbitrary-precision arithmetic Division algorithm Unit in the last place Pi Double-precision floating-point format
47	CAMPARY CudA Multiple Precision ARithmetic librarY Valentina Popescu Joint work with: Mioara Joldes, Jean-Michel Muller Add to Reading List Source URL: fastrelax.gforge.inria.fr Language: English - Date: 2015-06-11 10:48:09
48	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Mathematics Numerical analysis Computing Mathematical analysis Arithmetic Rounding Precision Extended precision IEEE floating point Determinant NaN
49	Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011 Add to Reading List Source URL: caramba.loria.fr Language: English - Date: 2016-06-13 15:37:32 Mathematics Computer arithmetic Software Algebra Paul Zimmermann Division algorithm GNU Multiple Precision Arithmetic Library GNU MPFR Rounding Division Integer Remainder
50	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Computer arithmetic Computing Computer architecture IEEE floating point Double-precision floating-point format Long double Extended precision C99 Single-precision floating-point format SSE2 Strictfp Normal number